大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic (5th : 1981 : University of Michigan) 的图书(共6112本)

Knowledge, Information, and Creativity Support Systems [electronic resource] : 5th International Conference, KICSS 2010, Chiang Mai, Thailand, November 25-27, 2010, Revised Selected Papers

0
索取号:
作者:Theeramunkong、 Thanaruk.、Kunifuji、 Susumu.、Sornlertlamvanich、 Virach.、Nattee、 Cholwich.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Scale Space and Variational Methods in Computer Vision [electronic resource] : Third International Conference, SSVM 2011, Ein-Gedi, Israel, May 29 鈥ʵne 2, 2011, Revised Selected Papers

0
索取号:
作者:Bruckstein、 Alfred M.、Haar Romeny、 Bart M.、Bronstein、 Alexander M.、Bronstein、 Michael M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Performance Engineering [electronic resource] : 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings

0
索取号:
作者:Thomas、 Nigel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Metadata and Semantic Research [electronic resource] : 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011. Proceedings

0
索取号:
作者:Garc铆a-Barriocanal、 Elena.、Cebeci、 Zeynel.、Okur、 Mehmet C.、脰zt眉rk、 Ayd谋n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Informatics in Schools. Contributing to 21st Century Education [electronic resource] : 5th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2011, Bratislava, Slovakia, October 26-29, 2011. Proceedings

0
索取号:
作者:Kala拧、 Ivan.、Mittermeir、 Roland T.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

String Processing and Information Retrieval [electronic resource] : 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings

0
索取号:
作者:Grossi、 Roberto.、Sebastiani、 Fabrizio.、Silvestri、 Fabrizio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

0
索取号:
作者:D茅fago、 Xavier.、Petit、 Franck.、Villain、 Vincent.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Challenges at the Interface of Data Analysis, Computer Science, and Optimization [electronic resource] : Proceedings of the 34th Annual Conference of the Gesellschaft f眉r Klassifikation e. V., Karlsruhe, July 21 - 23, 2010

0
索取号:
作者:Gaul、 Wolfgang A.、Geyer-Schulz、 Andreas.、Schmidt-Thieme、 Lars.、Kunze、 Jonas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

0
索取号:
作者:Scholz、 Sven-Bodo.、Chitil、 Olaf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Information Systems Engineering-WISE 2010 Workshops [electronic resource] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

0
索取号:
作者:Chiu、 Dickson K. W.、Bellatreche、 Ladjel.、Sasaki、 Hideyasu.、Leung、 Ho-fung.、Cheung、 Shing-Chi.、Hu、 Haiyang.、Shao、 Jie.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号:
作者:Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号:
作者:Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

0
索取号:
作者:Varbanescu、 Ana Lucia.、Molnos、 Anca.、Nieuwpoort、 Rob.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Provable Security [electronic resource] : 5th International Conference, ProvSec 2011, Xi鈥檃n, China, October 16-18, 2011. Proceedings

0
索取号:
作者:Boyen、 Xavier.、Chen、 Xiaofeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reachability Problems [electronic resource] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

0
索取号:
作者:Delzanno、 Giorgio.、Potapov、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

0
索取号:
作者:Hage、 Jurriaan.、Moraz谩n、 Marco T.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类